#include <types.h>
#include <asm.h>
#include <console.h>
#include <stdio.h>
#include <kdebug.h>
#include <kalloc.h>


void
init(void)
{	
	vga_init();
	kvm_init();
	
	kern_backtrace();
}